Nuprl Definition : interface-check
0,22
postcript
pdf
interface-check(
D
;
l
;
tg
;
T
) ==
T
M(destination(
l
)).din(
l
,
tg
)
latex
clarification:
interface-check(
D
;
l
;
tg
;
T
) ==
T
d-m(
D
; destination(
l
)).din(
l
,
tg
)
latex
Definitions
M
.din(
l
,
tg
)
,
M(
i
)
,
destination(
l
)
FDL editor aliases
interface-check
origin
M(destination(l)).din(l,tg)
d-m(D; destination(l)).din(l,tg) M(destination(l)).din(l,tg)
d-m(D; destination(l)).din(l,tg)